西村 祐輝; "Kripke Frameの性質とTableauの停止性"
https://drive.google.com/file/d/1PedHXXliF8uKF_iZrWgxKRzzcVTKWNJt/view